Optimal Placement of Acoustic Sources in a Built-up Area using CLP (FD)
نویسندگان
چکیده
In this paper we face the problem of covering a physical area with acoustic signals emitted by different sources, and we present a declarative and effective solution based on Constraint Logic Programming over Finite Domains. After a testing phase on toy examples, we have successfully applied the code to the solution of a real-world placement problem.
منابع مشابه
Improving 3-D Imaging Breast Cancer Diagnosis Systems Using a New Method for Placement of Near-Infrared Sources and Detectors
The objective of this research was to improve 3-D imaging system by near-infrared light emission in breast tissue to achieve a more accurate diagnosis of tumor. The results of repeated experiments in this research have shown that with this imaging system, a more accurate diagnosis of abnormal area depends on the location of the sources and detectors. Therefore, an optimal location model has bee...
متن کاملMonitoring the Built-up Area Transformation Using Urban Index and Normalized Difference Built-up Index Analysis
Makassar is one of the metropolitan cities located in Indonesia which recently experiences massive an increased construction because of population growth. Mapping the spatial distribution and development of the built-up region is the best method that can use as an indicator to set the urban planning policy. The purpose of this study is to identify changes in land use and density in Makassar Cit...
متن کاملEntailment of Finite Domain Constraints Entailment of Finite Domain Constraints
Using a glass-box theory of nite domain constraints, FD, we show how the entailment of user-deened constraints can be expressed by anti-monotone FD constraints. We also provide an algorithm for checking the entailment and consistency of FD constraints. FD is shown to be expressive enough to allow the deenition of arithmetical constraints, as well as non-trivial symbolic constraints, that are no...
متن کاملBoolean Constraint Solving Using clp(FD)
We present a boolean constraint logic language clp(B/FD) built upon a language over finite domains clp(FD) which uses a local propagation constraint solver. It is based on a single primitive constraint which allows the boolean solver to be encoded at a low-level. The boolean solver obtained in this way is both very simple and very efficient: on average it is eight times faster than the CHIP pro...
متن کاملOptimal Placement of DGs in Distribution System including Different Load Models for Loss Reduction using Genetic Algorithm
Distributed generation (DG) sources are becoming more prominent in distribution systems due to the incremental demands for electrical energy. Locations and capacities of DG sources have great impacts on the system losses in a distribution network. This paper presents a study aimed for optimally determining the size and location of distributed generation units in distribution systems with differ...
متن کامل